probabilistic Turing machine - Spanish English Dictionary